科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:主要是对称:操作系统代码的概率模型检查的可扩展性结果
Marcus Völp; Steffen Märcker; Hendrik Tews; Hermann Härtig; Sascha Klüppelholz; Benjamin Engel; Marcus Daum; Christel Baier; Joachim Klein;
机译:用于验证底层操作系统代码的形式化内存模型
机译:使用概率模型检查的NoSQL数据库的成本感知水平缩放
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:基于概率模型检查的可靠水平缩放
机译:通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:一种改进的计算机,主要设计用于翻译和检查图形代码。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。